node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,12) :- #0.197.
link(12,1) :- #0.565.
link(1,21) :- #0.241.
link(21,1) :- #0.293.
link(1,23) :- #0.156.
link(23,1) :- #0.014.
link(1,24) :- #0.539.
link(24,1) :- #0.793.
link(1,26) :- #0.944.
link(26,1) :- #0.293.
link(1,43) :- #0.193.
link(43,1) :- #0.246.
link(1,54) :- #0.316.
link(54,1) :- #0.147.
link(1,63) :- #0.089.
link(63,1) :- #0.885.
link(1,73) :- #0.428.
link(73,1) :- #0.243.
link(1,76) :- #0.702.
link(76,1) :- #0.172.
link(1,111) :- #0.85.
link(111,1) :- #0.118.
link(1,115) :- #0.866.
link(115,1) :- #0.887.
link(1,147) :- #0.362.
link(147,1) :- #0.141.
link(2,3) :- #0.28.
link(3,2) :- #0.086.
link(2,14) :- #0.587.
link(14,2) :- #0.531.
link(2,26) :- #0.832.
link(26,2) :- #0.13.
link(2,29) :- #0.694.
link(29,2) :- #0.262.
link(2,42) :- #0.287.
link(42,2) :- #0.236.
link(2,54) :- #0.612.
link(54,2) :- #0.989.
link(2,59) :- #0.196.
link(59,2) :- #0.715.
link(2,68) :- #0.203.
link(68,2) :- #0.495.
link(2,74) :- #0.315.
link(74,2) :- #0.006.
link(2,90) :- #0.565.
link(90,2) :- #0.377.
link(2,107) :- #0.63.
link(107,2) :- #0.363.
link(2,111) :- #0.194.
link(111,2) :- #0.514.
link(2,118) :- #0.276.
link(118,2) :- #0.982.
link(2,122) :- #0.092.
link(122,2) :- #0.936.
link(2,130) :- #0.602.
link(130,2) :- #0.006.
link(2,132) :- #0.384.
link(132,2) :- #0.017.
link(3,14) :- #0.977.
link(14,3) :- #0.138.
link(3,18) :- #0.703.
link(18,3) :- #0.862.
link(3,20) :- #0.282.
link(20,3) :- #0.154.
link(3,26) :- #0.079.
link(26,3) :- #0.745.
link(3,54) :- #0.621.
link(54,3) :- #0.778.
link(3,62) :- #0.336.
link(62,3) :- #0.416.
link(3,63) :- #0.342.
link(63,3) :- #0.935.
link(3,72) :- #0.185.
link(72,3) :- #0.998.
link(3,99) :- #0.974.
link(99,3) :- #0.154.
link(3,101) :- #0.001.
link(101,3) :- #0.571.
link(3,103) :- #0.979.
link(103,3) :- #0.605.
link(3,114) :- #0.406.
link(114,3) :- #0.649.
link(3,118) :- #0.901.
link(118,3) :- #0.425.
link(3,131) :- #0.715.
link(131,3) :- #0.022.
link(3,140) :- #0.666.
link(140,3) :- #0.201.
link(4,14) :- #0.245.
link(14,4) :- #0.275.
link(4,15) :- #0.602.
link(15,4) :- #0.93.
link(4,20) :- #0.823.
link(20,4) :- #0.992.
link(4,35) :- #0.446.
link(35,4) :- #0.014.
link(4,59) :- #0.053.
link(59,4) :- #0.848.
link(4,79) :- #0.173.
link(79,4) :- #0.606.
link(4,80) :- #0.476.
link(80,4) :- #0.636.
link(4,117) :- #0.083.
link(117,4) :- #0.47.
link(4,122) :- #0.434.
link(122,4) :- #0.574.
link(5,8) :- #0.003.
link(8,5) :- #0.726.
link(5,9) :- #0.687.
link(9,5) :- #0.005.
link(5,10) :- #0.014.
link(10,5) :- #0.077.
link(5,22) :- #0.756.
link(22,5) :- #0.931.
link(5,33) :- #0.175.
link(33,5) :- #0.035.
link(5,36) :- #0.924.
link(36,5) :- #0.466.
link(5,37) :- #0.834.
link(37,5) :- #0.086.
link(5,41) :- #0.41.
link(41,5) :- #0.589.
link(5,44) :- #0.229.
link(44,5) :- #0.819.
link(5,50) :- #0.633.
link(50,5) :- #0.206.
link(5,84) :- #0.012.
link(84,5) :- #0.628.
link(5,95) :- #0.698.
link(95,5) :- #0.957.
link(5,99) :- #0.578.
link(99,5) :- #0.363.
link(5,110) :- #0.444.
link(110,5) :- #0.931.
link(5,117) :- #0.619.
link(117,5) :- #0.156.
link(5,119) :- #0.921.
link(119,5) :- #0.318.
link(5,124) :- #0.429.
link(124,5) :- #0.775.
link(5,149) :- #0.042.
link(149,5) :- #0.167.
link(6,10) :- #0.137.
link(10,6) :- #0.174.
link(6,30) :- #0.339.
link(30,6) :- #0.072.
link(6,34) :- #0.252.
link(34,6) :- #0.179.
link(6,62) :- #0.888.
link(62,6) :- #0.631.
link(6,68) :- #0.823.
link(68,6) :- #0.405.
link(6,69) :- #0.131.
link(69,6) :- #0.453.
link(6,93) :- #0.747.
link(93,6) :- #0.808.
link(6,94) :- #0.004.
link(94,6) :- #0.975.
link(6,95) :- #0.673.
link(95,6) :- #0.723.
link(6,99) :- #0.396.
link(99,6) :- #0.169.
link(6,100) :- #0.755.
link(100,6) :- #0.654.
link(6,104) :- #0.026.
link(104,6) :- #0.856.
link(6,115) :- #0.779.
link(115,6) :- #0.423.
link(6,123) :- #0.551.
link(123,6) :- #0.841.
link(6,135) :- #0.765.
link(135,6) :- #0.914.
link(6,141) :- #0.614.
link(141,6) :- #0.653.
link(6,142) :- #0.735.
link(142,6) :- #0.662.
link(6,145) :- #0.155.
link(145,6) :- #0.737.
link(6,148) :- #0.498.
link(148,6) :- #0.649.
link(7,13) :- #0.081.
link(13,7) :- #0.383.
link(7,25) :- #0.825.
link(25,7) :- #0.173.
link(7,28) :- #0.343.
link(28,7) :- #0.323.
link(7,30) :- #0.56.
link(30,7) :- #0.725.
link(7,47) :- #0.802.
link(47,7) :- #0.31.
link(7,52) :- #0.896.
link(52,7) :- #0.696.
link(7,61) :- #0.541.
link(61,7) :- #0.311.
link(7,65) :- #0.286.
link(65,7) :- #0.356.
link(7,70) :- #0.571.
link(70,7) :- #0.501.
link(7,74) :- #0.182.
link(74,7) :- #0.918.
link(7,90) :- #0.076.
link(90,7) :- #0.469.
link(7,109) :- #0.731.
link(109,7) :- #0.266.
link(7,127) :- #0.557.
link(127,7) :- #0.114.
link(7,132) :- #0.879.
link(132,7) :- #0.087.
link(8,9) :- #0.63.
link(9,8) :- #0.196.
link(8,20) :- #0.214.
link(20,8) :- #0.793.
link(8,22) :- #0.947.
link(22,8) :- #0.517.
link(8,30) :- #0.912.
link(30,8) :- #0.905.
link(8,31) :- #0.214.
link(31,8) :- #0.003.
link(8,75) :- #0.953.
link(75,8) :- #0.068.
link(8,82) :- #0.663.
link(82,8) :- #0.438.
link(8,88) :- #0.175.
link(88,8) :- #0.708.
link(8,104) :- #0.504.
link(104,8) :- #0.349.
link(8,106) :- #0.095.
link(106,8) :- #0.702.
link(8,109) :- #0.768.
link(109,8) :- #0.198.
link(8,132) :- #0.5.
link(132,8) :- #0.476.
link(8,136) :- #0.899.
link(136,8) :- #0.951.
link(9,13) :- #0.902.
link(13,9) :- #0.323.
link(9,45) :- #0.314.
link(45,9) :- #0.779.
link(9,52) :- #0.76.
link(52,9) :- #0.665.
link(9,54) :- #0.662.
link(54,9) :- #0.611.
link(9,55) :- #0.904.
link(55,9) :- #0.688.
link(9,56) :- #0.405.
link(56,9) :- #0.871.
link(9,61) :- #0.792.
link(61,9) :- #0.451.
link(9,66) :- #0.828.
link(66,9) :- #0.793.
link(9,79) :- #0.639.
link(79,9) :- #0.012.
link(9,92) :- #0.212.
link(92,9) :- #0.293.
link(9,95) :- #0.279.
link(95,9) :- #0.487.
link(9,113) :- #0.373.
link(113,9) :- #0.673.
link(9,114) :- #0.929.
link(114,9) :- #0.651.
link(9,116) :- #0.501.
link(116,9) :- #0.171.
link(9,124) :- #0.345.
link(124,9) :- #0.937.
link(9,135) :- #0.269.
link(135,9) :- #0.164.
link(9,136) :- #0.773.
link(136,9) :- #0.223.
link(9,138) :- #0.015.
link(138,9) :- #0.046.
link(10,11) :- #0.366.
link(11,10) :- #0.137.
link(10,16) :- #0.682.
link(16,10) :- #0.447.
link(10,24) :- #0.591.
link(24,10) :- #0.834.
link(10,25) :- #0.686.
link(25,10) :- #0.634.
link(10,27) :- #0.436.
link(27,10) :- #0.924.
link(10,36) :- #0.522.
link(36,10) :- #0.879.
link(10,49) :- #0.985.
link(49,10) :- #0.07.
link(10,57) :- #0.252.
link(57,10) :- #0.327.
link(10,65) :- #0.979.
link(65,10) :- #0.36.
link(10,70) :- #0.966.
link(70,10) :- #0.76.
link(10,72) :- #0.141.
link(72,10) :- #0.049.
link(10,76) :- #0.285.
link(76,10) :- #0.628.
link(10,84) :- #0.258.
link(84,10) :- #0.311.
link(10,90) :- #0.376.
link(90,10) :- #0.324.
link(10,108) :- #0.762.
link(108,10) :- #0.929.
link(10,118) :- #0.067.
link(118,10) :- #0.629.
link(10,135) :- #0.895.
link(135,10) :- #0.099.
link(10,138) :- #0.238.
link(138,10) :- #0.51.
link(11,28) :- #0.687.
link(28,11) :- #0.9.
link(11,53) :- #0.995.
link(53,11) :- #0.341.
link(11,55) :- #0.07.
link(55,11) :- #0.227.
link(11,85) :- #0.36.
link(85,11) :- #0.491.
link(11,87) :- #0.402.
link(87,11) :- #0.917.
link(11,94) :- #0.4.
link(94,11) :- #0.13.
link(11,101) :- #0.773.
link(101,11) :- #0.011.
link(11,106) :- #0.607.
link(106,11) :- #0.718.
link(11,114) :- #0.268.
link(114,11) :- #0.071.
link(11,115) :- #0.787.
link(115,11) :- #0.788.
link(11,116) :- #0.323.
link(116,11) :- #0.792.
link(11,124) :- #0.838.
link(124,11) :- #0.204.
link(11,135) :- #0.632.
link(135,11) :- #0.817.
link(11,148) :- #0.47.
link(148,11) :- #0.785.
link(12,48) :- #0.407.
link(48,12) :- #0.308.
link(12,54) :- #0.59.
link(54,12) :- #0.118.
link(12,56) :- #0.914.
link(56,12) :- #0.99.
link(12,62) :- #0.51.
link(62,12) :- #0.069.
link(12,73) :- #0.026.
link(73,12) :- #0.679.
link(12,94) :- #0.257.
link(94,12) :- #0.304.
link(12,95) :- #0.425.
link(95,12) :- #0.877.
link(12,127) :- #0.686.
link(127,12) :- #0.373.
link(12,130) :- #0.091.
link(130,12) :- #0.456.
link(12,142) :- #0.176.
link(142,12) :- #0.207.
link(12,149) :- #0.919.
link(149,12) :- #0.444.
link(13,15) :- #0.931.
link(15,13) :- #0.356.
link(13,42) :- #0.882.
link(42,13) :- #0.12.
link(13,55) :- #0.082.
link(55,13) :- #0.85.
link(13,58) :- #0.837.
link(58,13) :- #0.185.
link(13,61) :- #0.323.
link(61,13) :- #0.093.
link(13,63) :- #0.213.
link(63,13) :- #0.456.
link(13,67) :- #0.841.
link(67,13) :- #0.903.
link(13,72) :- #0.773.
link(72,13) :- #0.952.
link(13,76) :- #0.217.
link(76,13) :- #0.313.
link(13,83) :- #0.953.
link(83,13) :- #0.233.
link(13,99) :- #0.244.
link(99,13) :- #0.598.
link(13,104) :- #0.959.
link(104,13) :- #0.564.
link(13,110) :- #0.606.
link(110,13) :- #0.564.
link(13,113) :- #0.495.
link(113,13) :- #0.742.
link(13,115) :- #0.927.
link(115,13) :- #0.239.
link(13,119) :- #0.456.
link(119,13) :- #0.966.
link(13,122) :- #0.077.
link(122,13) :- #0.941.
link(13,125) :- #0.876.
link(125,13) :- #0.787.
link(14,16) :- #0.122.
link(16,14) :- #0.31.
link(14,18) :- #0.3.
link(18,14) :- #0.161.
link(14,19) :- #0.045.
link(19,14) :- #0.314.
link(14,20) :- #0.507.
link(20,14) :- #0.918.
link(14,39) :- #0.068.
link(39,14) :- #0.733.
link(14,40) :- #0.068.
link(40,14) :- #0.222.
link(14,53) :- #0.068.
link(53,14) :- #0.059.
link(14,67) :- #0.903.
link(67,14) :- #0.801.
link(14,72) :- #0.383.
link(72,14) :- #0.671.
link(14,73) :- #0.205.
link(73,14) :- #0.192.
link(14,83) :- #0.136.
link(83,14) :- #0.124.
link(14,91) :- #0.362.
link(91,14) :- #0.87.
link(14,95) :- #0.578.
link(95,14) :- #0.359.
link(14,114) :- #0.979.
link(114,14) :- #0.799.
link(14,120) :- #0.79.
link(120,14) :- #0.904.
link(15,22) :- #0.287.
link(22,15) :- #0.595.
link(15,25) :- #0.226.
link(25,15) :- #0.854.
link(15,47) :- #0.112.
link(47,15) :- #0.524.
link(15,74) :- #0.806.
link(74,15) :- #0.805.
link(15,97) :- #0.729.
link(97,15) :- #0.976.
link(15,101) :- #0.989.
link(101,15) :- #0.272.
link(15,113) :- #0.978.
link(113,15) :- #0.704.
link(15,114) :- #0.975.
link(114,15) :- #0.552.
link(15,124) :- #0.768.
link(124,15) :- #0.169.
link(15,126) :- #0.817.
link(126,15) :- #0.008.
link(15,130) :- #0.76.
link(130,15) :- #0.034.
link(15,133) :- #0.195.
link(133,15) :- #0.274.
link(15,146) :- #0.558.
link(146,15) :- #0.443.
link(15,147) :- #0.163.
link(147,15) :- #0.701.
link(16,24) :- #0.11.
link(24,16) :- #0.056.
link(16,46) :- #0.687.
link(46,16) :- #0.162.
link(16,48) :- #0.204.
link(48,16) :- #0.058.
link(16,49) :- #0.986.
link(49,16) :- #0.214.
link(16,50) :- #0.656.
link(50,16) :- #0.941.
link(16,61) :- #0.657.
link(61,16) :- #0.007.
link(16,63) :- #0.172.
link(63,16) :- #0.01.
link(16,74) :- #0.638.
link(74,16) :- #0.665.
link(16,77) :- #0.177.
link(77,16) :- #0.178.
link(16,93) :- #0.142.
link(93,16) :- #0.244.
link(16,105) :- #0.587.
link(105,16) :- #0.011.
link(16,126) :- #0.473.
link(126,16) :- #0.695.
link(16,140) :- #0.394.
link(140,16) :- #0.551.
link(16,143) :- #0.076.
link(143,16) :- #0.242.
link(16,145) :- #0.601.
link(145,16) :- #0.527.
link(17,30) :- #0.164.
link(30,17) :- #0.429.
link(17,42) :- #0.083.
link(42,17) :- #0.165.
link(17,65) :- #0.869.
link(65,17) :- #0.425.
link(17,80) :- #0.995.
link(80,17) :- #0.157.
link(17,88) :- #0.276.
link(88,17) :- #0.309.
link(17,109) :- #0.662.
link(109,17) :- #0.105.
link(17,114) :- #0.875.
link(114,17) :- #0.497.
link(17,124) :- #0.326.
link(124,17) :- #0.164.
link(17,132) :- #0.568.
link(132,17) :- #0.852.
link(17,138) :- #0.513.
link(138,17) :- #0.751.
link(17,139) :- #0.216.
link(139,17) :- #0.45.
link(17,146) :- #0.215.
link(146,17) :- #0.504.
link(17,149) :- #0.907.
link(149,17) :- #0.603.
link(18,42) :- #0.003.
link(42,18) :- #0.675.
link(18,43) :- #0.323.
link(43,18) :- #0.287.
link(18,46) :- #0.809.
link(46,18) :- #0.248.
link(18,56) :- #0.406.
link(56,18) :- #0.048.
link(18,65) :- #0.625.
link(65,18) :- #0.526.
link(18,69) :- #0.428.
link(69,18) :- #0.373.
link(18,128) :- #0.094.
link(128,18) :- #0.935.
link(18,143) :- #0.604.
link(143,18) :- #0.993.
link(18,145) :- #0.685.
link(145,18) :- #0.291.
link(19,43) :- #0.006.
link(43,19) :- #0.106.
link(19,71) :- #0.459.
link(71,19) :- #0.991.
link(19,76) :- #0.064.
link(76,19) :- #0.008.
link(19,83) :- #0.729.
link(83,19) :- #0.842.
link(19,88) :- #0.786.
link(88,19) :- #0.178.
link(19,91) :- #0.853.
link(91,19) :- #0.039.
link(19,97) :- #0.793.
link(97,19) :- #0.809.
link(19,119) :- #0.236.
link(119,19) :- #0.755.
link(19,128) :- #0.573.
link(128,19) :- #0.039.
link(19,136) :- #0.939.
link(136,19) :- #0.602.
link(19,149) :- #0.223.
link(149,19) :- #0.103.
link(20,48) :- #0.149.
link(48,20) :- #0.948.
link(20,49) :- #0.55.
link(49,20) :- #0.281.
link(20,76) :- #0.905.
link(76,20) :- #0.447.
link(20,82) :- #0.364.
link(82,20) :- #0.293.
link(20,83) :- #0.504.
link(83,20) :- #0.817.
link(20,99) :- #0.126.
link(99,20) :- #0.602.
link(20,104) :- #0.937.
link(104,20) :- #0.555.
link(20,117) :- #0.889.
link(117,20) :- #0.621.
link(20,119) :- #0.739.
link(119,20) :- #0.198.
link(20,124) :- #0.697.
link(124,20) :- #0.663.
link(20,128) :- #0.945.
link(128,20) :- #0.524.
link(20,134) :- #0.554.
link(134,20) :- #0.782.
link(20,143) :- #0.297.
link(143,20) :- #0.665.
link(20,145) :- #0.854.
link(145,20) :- #0.649.
link(20,150) :- #0.816.
link(150,20) :- #0.99.
link(21,26) :- #0.39.
link(26,21) :- #0.754.
link(21,28) :- #0.741.
link(28,21) :- #0.372.
link(21,53) :- #0.681.
link(53,21) :- #0.579.
link(21,55) :- #0.315.
link(55,21) :- #0.553.
link(21,57) :- #0.481.
link(57,21) :- #0.657.
link(21,74) :- #0.957.
link(74,21) :- #0.918.
link(21,87) :- #0.799.
link(87,21) :- #0.446.
link(21,97) :- #0.78.
link(97,21) :- #0.527.
link(21,98) :- #0.034.
link(98,21) :- #0.689.
link(21,99) :- #0.958.
link(99,21) :- #0.449.
link(21,101) :- #0.712.
link(101,21) :- #0.087.
link(21,105) :- #0.937.
link(105,21) :- #0.797.
link(21,107) :- #0.647.
link(107,21) :- #0.816.
link(21,133) :- #0.431.
link(133,21) :- #0.563.
link(22,24) :- #0.834.
link(24,22) :- #0.268.
link(22,34) :- #0.445.
link(34,22) :- #0.979.
link(22,35) :- #0.335.
link(35,22) :- #0.724.
link(22,45) :- #0.446.
link(45,22) :- #0.381.
link(22,47) :- #0.293.
link(47,22) :- #0.857.
link(22,68) :- #0.318.
link(68,22) :- #0.06.
link(22,69) :- #0.943.
link(69,22) :- #0.707.
link(22,79) :- #0.692.
link(79,22) :- #0.528.
link(22,84) :- #0.25.
link(84,22) :- #0.104.
link(22,86) :- #0.965.
link(86,22) :- #0.731.
link(22,87) :- #0.002.
link(87,22) :- #0.551.
link(22,93) :- #0.173.
link(93,22) :- #0.696.
link(22,102) :- #0.995.
link(102,22) :- #0.99.
link(22,106) :- #0.397.
link(106,22) :- #0.626.
link(22,111) :- #0.976.
link(111,22) :- #0.225.
link(22,113) :- #0.571.
link(113,22) :- #0.827.
link(22,121) :- #0.535.
link(121,22) :- #0.331.
link(22,139) :- #0.113.
link(139,22) :- #0.779.
link(22,147) :- #0.106.
link(147,22) :- #0.136.
link(23,26) :- #0.362.
link(26,23) :- #0.992.
link(23,35) :- #0.721.
link(35,23) :- #0.813.
link(23,41) :- #0.262.
link(41,23) :- #0.713.
link(23,51) :- #0.739.
link(51,23) :- #0.988.
link(23,55) :- #0.349.
link(55,23) :- #0.477.
link(23,77) :- #0.238.
link(77,23) :- #0.437.
link(23,88) :- #0.951.
link(88,23) :- #0.684.
link(23,89) :- #0.099.
link(89,23) :- #0.843.
link(23,106) :- #0.475.
link(106,23) :- #0.636.
link(23,109) :- #0.93.
link(109,23) :- #0.878.
link(23,110) :- #0.
link(110,23) :- #0.808.
link(23,134) :- #0.967.
link(134,23) :- #0.785.
link(23,136) :- #0.676.
link(136,23) :- #0.629.
link(23,139) :- #0.999.
link(139,23) :- #0.163.
link(23,140) :- #0.986.
link(140,23) :- #0.952.
link(23,149) :- #0.62.
link(149,23) :- #0.719.
link(24,25) :- #0.031.
link(25,24) :- #0.24.
link(24,70) :- #0.584.
link(70,24) :- #0.637.
link(24,83) :- #0.199.
link(83,24) :- #0.529.
link(24,84) :- #0.684.
link(84,24) :- #0.233.
link(24,98) :- #0.667.
link(98,24) :- #0.59.
link(24,111) :- #0.14.
link(111,24) :- #0.645.
link(24,129) :- #0.963.
link(129,24) :- #0.589.
link(25,27) :- #0.254.
link(27,25) :- #0.092.
link(25,30) :- #0.738.
link(30,25) :- #0.723.
link(25,38) :- #0.773.
link(38,25) :- #0.513.
link(25,88) :- #0.877.
link(88,25) :- #0.871.
link(25,95) :- #0.778.
link(95,25) :- #0.929.
link(25,99) :- #0.236.
link(99,25) :- #0.693.
link(25,111) :- #0.41.
link(111,25) :- #0.402.
link(25,112) :- #0.683.
link(112,25) :- #0.832.
link(25,119) :- #0.676.
link(119,25) :- #0.903.
link(25,121) :- #0.625.
link(121,25) :- #0.035.
link(25,130) :- #0.292.
link(130,25) :- #0.34.
link(25,134) :- #0.854.
link(134,25) :- #0.988.
link(26,58) :- #0.639.
link(58,26) :- #0.622.
link(26,59) :- #0.018.
link(59,26) :- #0.202.
link(26,73) :- #0.746.
link(73,26) :- #0.288.
link(26,93) :- #0.495.
link(93,26) :- #0.318.
link(26,98) :- #0.854.
link(98,26) :- #0.426.
link(26,101) :- #0.145.
link(101,26) :- #0.855.
link(26,116) :- #0.633.
link(116,26) :- #0.401.
link(26,126) :- #0.829.
link(126,26) :- #0.871.
link(26,144) :- #0.154.
link(144,26) :- #0.204.
link(27,31) :- #0.452.
link(31,27) :- #0.691.
link(27,37) :- #0.182.
link(37,27) :- #0.732.
link(27,48) :- #0.348.
link(48,27) :- #0.181.
link(27,60) :- #0.235.
link(60,27) :- #0.283.
link(27,97) :- #0.446.
link(97,27) :- #0.819.
link(27,103) :- #0.133.
link(103,27) :- #0.524.
link(27,106) :- #0.704.
link(106,27) :- #0.561.
link(27,116) :- #0.631.
link(116,27) :- #0.548.
link(28,46) :- #0.859.
link(46,28) :- #0.585.
link(28,50) :- #0.248.
link(50,28) :- #0.871.
link(28,55) :- #0.563.
link(55,28) :- #0.854.
link(28,60) :- #0.097.
link(60,28) :- #0.923.
link(28,91) :- #0.273.
link(91,28) :- #0.115.
link(28,92) :- #0.288.
link(92,28) :- #0.973.
link(28,137) :- #0.896.
link(137,28) :- #0.78.
link(29,30) :- #0.428.
link(30,29) :- #0.475.
link(29,32) :- #0.598.
link(32,29) :- #0.816.
link(29,64) :- #0.49.
link(64,29) :- #0.44.
link(29,74) :- #0.702.
link(74,29) :- #0.554.
link(29,88) :- #0.478.
link(88,29) :- #0.967.
link(29,115) :- #0.213.
link(115,29) :- #0.495.
link(29,121) :- #0.437.
link(121,29) :- #0.094.
link(30,33) :- #0.677.
link(33,30) :- #0.091.
link(30,35) :- #0.36.
link(35,30) :- #0.39.
link(30,45) :- #0.625.
link(45,30) :- #0.776.
link(30,48) :- #0.953.
link(48,30) :- #0.488.
link(30,53) :- #0.193.
link(53,30) :- #0.717.
link(30,57) :- #0.372.
link(57,30) :- #0.084.
link(30,127) :- #0.22.
link(127,30) :- #0.025.
link(30,144) :- #0.334.
link(144,30) :- #0.951.
link(30,146) :- #0.802.
link(146,30) :- #0.987.
link(31,37) :- #0.168.
link(37,31) :- #0.38.
link(31,46) :- #0.054.
link(46,31) :- #0.008.
link(31,57) :- #0.771.
link(57,31) :- #0.289.
link(31,71) :- #0.593.
link(71,31) :- #0.896.
link(31,85) :- #0.121.
link(85,31) :- #0.306.
link(31,97) :- #0.658.
link(97,31) :- #0.147.
link(31,115) :- #0.33.
link(115,31) :- #0.41.
link(31,137) :- #0.951.
link(137,31) :- #0.523.
link(32,61) :- #0.608.
link(61,32) :- #0.785.
link(32,62) :- #0.53.
link(62,32) :- #0.329.
link(32,70) :- #0.189.
link(70,32) :- #0.042.
link(32,84) :- #0.647.
link(84,32) :- #0.852.
link(32,113) :- #0.149.
link(113,32) :- #0.939.
link(32,127) :- #0.288.
link(127,32) :- #0.853.
link(32,143) :- #0.159.
link(143,32) :- #0.411.
link(32,144) :- #0.749.
link(144,32) :- #0.379.
link(33,67) :- #0.964.
link(67,33) :- #0.553.
link(33,109) :- #0.516.
link(109,33) :- #0.335.
link(33,111) :- #0.672.
link(111,33) :- #0.2.
link(33,113) :- #0.525.
link(113,33) :- #0.862.
link(33,118) :- #0.513.
link(118,33) :- #0.494.
link(33,125) :- #0.924.
link(125,33) :- #0.051.
link(33,145) :- #0.565.
link(145,33) :- #0.381.
link(34,51) :- #0.382.
link(51,34) :- #0.477.
link(34,59) :- #0.032.
link(59,34) :- #0.905.
link(34,61) :- #0.809.
link(61,34) :- #0.461.
link(34,63) :- #0.926.
link(63,34) :- #0.529.
link(34,64) :- #0.888.
link(64,34) :- #0.496.
link(34,84) :- #0.894.
link(84,34) :- #0.275.
link(34,94) :- #0.716.
link(94,34) :- #0.442.
link(34,107) :- #0.258.
link(107,34) :- #0.033.
link(34,108) :- #0.089.
link(108,34) :- #0.533.
link(34,115) :- #0.868.
link(115,34) :- #0.084.
link(34,119) :- #0.882.
link(119,34) :- #0.049.
link(34,126) :- #0.966.
link(126,34) :- #0.255.
link(34,135) :- #0.679.
link(135,34) :- #0.351.
link(35,38) :- #0.997.
link(38,35) :- #0.558.
link(35,39) :- #0.254.
link(39,35) :- #0.457.
link(35,41) :- #0.938.
link(41,35) :- #0.
link(35,91) :- #0.035.
link(91,35) :- #0.175.
link(35,92) :- #0.868.
link(92,35) :- #0.243.
link(35,111) :- #0.875.
link(111,35) :- #0.122.
link(35,123) :- #0.599.
link(123,35) :- #0.88.
link(35,125) :- #0.78.
link(125,35) :- #0.518.
link(35,130) :- #0.504.
link(130,35) :- #0.501.
link(35,142) :- #0.964.
link(142,35) :- #0.087.
link(35,149) :- #0.375.
link(149,35) :- #0.047.
link(36,37) :- #0.348.
link(37,36) :- #0.5.
link(36,40) :- #0.966.
link(40,36) :- #0.742.
link(36,65) :- #0.315.
link(65,36) :- #0.786.
link(36,72) :- #0.911.
link(72,36) :- #0.523.
link(36,74) :- #0.927.
link(74,36) :- #0.771.
link(36,85) :- #0.034.
link(85,36) :- #0.214.
link(36,102) :- #0.493.
link(102,36) :- #0.669.
link(36,105) :- #0.783.
link(105,36) :- #0.822.
link(36,130) :- #0.329.
link(130,36) :- #0.209.
link(36,137) :- #0.01.
link(137,36) :- #0.395.
link(36,141) :- #0.909.
link(141,36) :- #0.47.
link(36,149) :- #0.646.
link(149,36) :- #0.885.
link(37,65) :- #0.534.
link(65,37) :- #0.731.
link(37,76) :- #0.757.
link(76,37) :- #0.633.
link(37,85) :- #0.046.
link(85,37) :- #0.935.
link(37,86) :- #0.977.
link(86,37) :- #0.368.
link(37,102) :- #0.116.
link(102,37) :- #0.686.
link(37,110) :- #0.606.
link(110,37) :- #0.453.
link(37,112) :- #0.978.
link(112,37) :- #0.435.
link(37,115) :- #0.579.
link(115,37) :- #0.188.
link(37,128) :- #0.322.
link(128,37) :- #0.525.
link(37,129) :- #0.612.
link(129,37) :- #0.116.
link(37,134) :- #0.88.
link(134,37) :- #0.906.
link(37,137) :- #0.05.
link(137,37) :- #0.88.
link(37,140) :- #0.303.
link(140,37) :- #0.66.
link(38,45) :- #0.999.
link(45,38) :- #0.353.
link(38,59) :- #0.372.
link(59,38) :- #0.25.
link(38,69) :- #0.242.
link(69,38) :- #0.67.
link(38,71) :- #0.883.
link(71,38) :- #0.672.
link(38,73) :- #0.29.
link(73,38) :- #0.92.
link(38,88) :- #0.413.
link(88,38) :- #0.428.
link(38,139) :- #0.561.
link(139,38) :- #0.418.
link(38,142) :- #0.307.
link(142,38) :- #0.33.
link(38,148) :- #0.767.
link(148,38) :- #0.527.
link(39,40) :- #0.948.
link(40,39) :- #0.167.
link(39,43) :- #0.633.
link(43,39) :- #0.508.
link(39,44) :- #0.592.
link(44,39) :- #0.217.
link(39,70) :- #0.411.
link(70,39) :- #0.972.
link(39,74) :- #0.651.
link(74,39) :- #0.442.
link(39,77) :- #0.468.
link(77,39) :- #0.549.
link(39,82) :- #0.483.
link(82,39) :- #0.067.
link(39,91) :- #0.401.
link(91,39) :- #0.795.
link(39,92) :- #0.941.
link(92,39) :- #0.597.
link(39,101) :- #0.748.
link(101,39) :- #0.245.
link(39,102) :- #0.501.
link(102,39) :- #0.36.
link(39,110) :- #0.583.
link(110,39) :- #0.586.
link(39,113) :- #0.895.
link(113,39) :- #0.276.
link(39,115) :- #0.296.
link(115,39) :- #0.151.
link(39,145) :- #0.27.
link(145,39) :- #0.089.
link(40,41) :- #0.065.
link(41,40) :- #0.14.
link(40,44) :- #0.807.
link(44,40) :- #0.122.
link(40,49) :- #0.07.
link(49,40) :- #0.08.
link(40,59) :- #0.109.
link(59,40) :- #0.082.
link(40,60) :- #0.242.
link(60,40) :- #0.046.
link(40,68) :- #0.934.
link(68,40) :- #0.545.
link(40,69) :- #0.284.
link(69,40) :- #0.841.
link(40,73) :- #0.874.
link(73,40) :- #0.735.
link(40,82) :- #0.077.
link(82,40) :- #0.887.
link(40,98) :- #0.379.
link(98,40) :- #0.735.
link(40,101) :- #0.365.
link(101,40) :- #0.618.
link(40,115) :- #0.16.
link(115,40) :- #0.527.
link(40,127) :- #0.479.
link(127,40) :- #0.209.
link(40,146) :- #0.18.
link(146,40) :- #0.471.
link(41,46) :- #0.49.
link(46,41) :- #0.756.
link(41,59) :- #0.275.
link(59,41) :- #0.205.
link(41,76) :- #0.921.
link(76,41) :- #0.577.
link(41,77) :- #0.405.
link(77,41) :- #0.253.
link(41,89) :- #0.409.
link(89,41) :- #0.925.
link(41,95) :- #0.853.
link(95,41) :- #0.14.
link(41,125) :- #0.257.
link(125,41) :- #0.537.
link(41,136) :- #0.45.
link(136,41) :- #0.686.
link(41,144) :- #0.093.
link(144,41) :- #0.654.
link(42,70) :- #0.558.
link(70,42) :- #0.906.
link(42,80) :- #0.849.
link(80,42) :- #0.08.
link(42,88) :- #0.818.
link(88,42) :- #0.093.
link(42,101) :- #0.495.
link(101,42) :- #0.981.
link(42,109) :- #0.122.
link(109,42) :- #0.817.
link(42,111) :- #0.709.
link(111,42) :- #0.227.
link(42,117) :- #0.356.
link(117,42) :- #0.832.
link(42,121) :- #0.395.
link(121,42) :- #0.562.
link(42,129) :- #0.856.
link(129,42) :- #0.783.
link(42,148) :- #0.351.
link(148,42) :- #0.714.
link(43,58) :- #0.3.
link(58,43) :- #0.842.
link(43,62) :- #0.848.
link(62,43) :- #0.893.
link(43,69) :- #0.864.
link(69,43) :- #0.57.
link(43,99) :- #0.43.
link(99,43) :- #0.335.
link(43,110) :- #0.511.
link(110,43) :- #0.542.
link(43,114) :- #0.238.
link(114,43) :- #0.449.
link(43,148) :- #0.408.
link(148,43) :- #0.258.
link(44,55) :- #0.066.
link(55,44) :- #0.42.
link(44,83) :- #0.983.
link(83,44) :- #0.334.
link(44,102) :- #0.306.
link(102,44) :- #0.45.
link(44,109) :- #0.274.
link(109,44) :- #0.461.
link(44,135) :- #0.948.
link(135,44) :- #0.071.
link(45,52) :- #0.999.
link(52,45) :- #0.585.
link(45,59) :- #0.843.
link(59,45) :- #0.628.
link(45,65) :- #0.518.
link(65,45) :- #0.66.
link(45,78) :- #0.921.
link(78,45) :- #0.271.
link(45,81) :- #0.375.
link(81,45) :- #0.158.
link(45,101) :- #0.872.
link(101,45) :- #0.877.
link(45,123) :- #0.679.
link(123,45) :- #0.81.
link(45,124) :- #0.8.
link(124,45) :- #0.659.
link(45,127) :- #0.825.
link(127,45) :- #0.283.
link(45,128) :- #0.303.
link(128,45) :- #0.883.
link(45,129) :- #0.415.
link(129,45) :- #0.27.
link(45,130) :- #0.556.
link(130,45) :- #0.853.
link(45,141) :- #0.826.
link(141,45) :- #0.788.
link(45,149) :- #0.012.
link(149,45) :- #0.884.
link(46,51) :- #0.499.
link(51,46) :- #0.927.
link(46,86) :- #0.879.
link(86,46) :- #0.431.
link(46,87) :- #0.307.
link(87,46) :- #0.479.
link(46,98) :- #0.212.
link(98,46) :- #0.525.
link(46,100) :- #0.308.
link(100,46) :- #0.373.
link(46,105) :- #0.333.
link(105,46) :- #0.305.
link(46,110) :- #0.132.
link(110,46) :- #0.792.
link(46,114) :- #0.814.
link(114,46) :- #0.351.
link(46,119) :- #0.261.
link(119,46) :- #0.878.
link(46,124) :- #0.991.
link(124,46) :- #0.07.
link(46,126) :- #0.594.
link(126,46) :- #0.644.
link(46,143) :- #0.184.
link(143,46) :- #0.867.
link(47,60) :- #0.128.
link(60,47) :- #0.923.
link(47,82) :- #0.477.
link(82,47) :- #0.043.
link(47,93) :- #0.099.
link(93,47) :- #0.796.
link(47,94) :- #0.35.
link(94,47) :- #0.263.
link(47,133) :- #0.78.
link(133,47) :- #0.034.
link(47,137) :- #0.788.
link(137,47) :- #0.145.
link(47,140) :- #0.796.
link(140,47) :- #0.939.
link(47,147) :- #0.226.
link(147,47) :- #0.816.
link(48,71) :- #0.751.
link(71,48) :- #0.726.
link(48,85) :- #0.161.
link(85,48) :- #0.469.
link(48,127) :- #0.157.
link(127,48) :- #0.145.
link(48,135) :- #0.885.
link(135,48) :- #0.719.
link(48,141) :- #0.915.
link(141,48) :- #0.411.
link(48,145) :- #0.502.
link(145,48) :- #0.369.
link(49,56) :- #0.416.
link(56,49) :- #0.28.
link(49,68) :- #0.238.
link(68,49) :- #0.582.
link(49,85) :- #0.706.
link(85,49) :- #0.251.
link(49,95) :- #0.565.
link(95,49) :- #0.185.
link(49,98) :- #0.345.
link(98,49) :- #0.47.
link(49,101) :- #0.77.
link(101,49) :- #0.136.
link(49,103) :- #0.553.
link(103,49) :- #0.049.
link(49,114) :- #0.17.
link(114,49) :- #0.223.
link(49,126) :- #0.038.
link(126,49) :- #0.752.
link(49,144) :- #0.086.
link(144,49) :- #0.714.
link(50,67) :- #0.645.
link(67,50) :- #0.453.
link(50,68) :- #0.233.
link(68,50) :- #0.51.
link(50,70) :- #0.266.
link(70,50) :- #0.573.
link(50,71) :- #0.149.
link(71,50) :- #0.98.
link(50,95) :- #0.691.
link(95,50) :- #0.938.
link(50,106) :- #0.257.
link(106,50) :- #0.868.
link(50,125) :- #0.493.
link(125,50) :- #0.907.
link(50,133) :- #0.023.
link(133,50) :- #0.925.
link(50,139) :- #0.088.
link(139,50) :- #0.245.
link(50,144) :- #0.268.
link(144,50) :- #0.326.
link(50,148) :- #0.819.
link(148,50) :- #0.356.
link(51,60) :- #0.833.
link(60,51) :- #0.631.
link(51,66) :- #0.791.
link(66,51) :- #0.249.
link(51,67) :- #0.862.
link(67,51) :- #0.497.
link(51,70) :- #0.949.
link(70,51) :- #0.788.
link(51,75) :- #0.431.
link(75,51) :- #0.45.
link(51,83) :- #0.224.
link(83,51) :- #0.48.
link(51,103) :- #0.154.
link(103,51) :- #0.538.
link(51,118) :- #0.822.
link(118,51) :- #0.698.
link(51,123) :- #0.962.
link(123,51) :- #0.219.
link(51,137) :- #0.775.
link(137,51) :- #0.863.
link(51,138) :- #0.936.
link(138,51) :- #0.541.
link(51,145) :- #0.631.
link(145,51) :- #0.73.
link(51,150) :- #0.111.
link(150,51) :- #0.898.
link(52,55) :- #0.77.
link(55,52) :- #0.597.
link(52,70) :- #0.285.
link(70,52) :- #0.695.
link(52,95) :- #0.828.
link(95,52) :- #0.511.
link(52,99) :- #0.312.
link(99,52) :- #0.54.
link(52,109) :- #0.326.
link(109,52) :- #0.462.
link(52,115) :- #0.184.
link(115,52) :- #0.396.
link(52,116) :- #0.136.
link(116,52) :- #0.258.
link(52,127) :- #0.638.
link(127,52) :- #0.814.
link(52,146) :- #0.18.
link(146,52) :- #0.282.
link(53,66) :- #0.472.
link(66,53) :- #0.536.
link(53,74) :- #0.734.
link(74,53) :- #0.376.
link(53,78) :- #0.366.
link(78,53) :- #0.397.
link(53,82) :- #0.373.
link(82,53) :- #0.681.
link(53,90) :- #0.57.
link(90,53) :- #0.559.
link(53,94) :- #0.545.
link(94,53) :- #0.655.
link(53,120) :- #0.487.
link(120,53) :- #0.443.
link(54,59) :- #0.698.
link(59,54) :- #0.797.
link(54,63) :- #0.995.
link(63,54) :- #0.526.
link(54,66) :- #0.008.
link(66,54) :- #0.49.
link(54,73) :- #0.503.
link(73,54) :- #0.957.
link(54,78) :- #0.915.
link(78,54) :- #0.075.
link(54,91) :- #0.616.
link(91,54) :- #0.362.
link(54,96) :- #0.786.
link(96,54) :- #0.004.
link(54,102) :- #0.945.
link(102,54) :- #0.397.
link(54,108) :- #0.052.
link(108,54) :- #0.841.
link(54,119) :- #0.997.
link(119,54) :- #0.629.
link(54,121) :- #0.623.
link(121,54) :- #0.827.
link(54,122) :- #0.937.
link(122,54) :- #0.977.
link(54,137) :- #0.576.
link(137,54) :- #0.908.
link(55,58) :- #0.905.
link(58,55) :- #0.694.
link(55,59) :- #0.966.
link(59,55) :- #0.786.
link(55,64) :- #0.03.
link(64,55) :- #0.216.
link(55,79) :- #0.778.
link(79,55) :- #0.076.
link(55,88) :- #0.274.
link(88,55) :- #0.894.
link(55,98) :- #0.017.
link(98,55) :- #0.741.
link(55,102) :- #0.241.
link(102,55) :- #0.998.
link(55,103) :- #0.534.
link(103,55) :- #0.015.
link(55,107) :- #0.477.
link(107,55) :- #0.378.
link(55,115) :- #0.612.
link(115,55) :- #0.33.
link(55,122) :- #0.914.
link(122,55) :- #0.027.
link(55,133) :- #0.476.
link(133,55) :- #0.701.
link(55,143) :- #0.754.
link(143,55) :- #0.605.
link(56,60) :- #0.675.
link(60,56) :- #0.422.
link(56,68) :- #0.598.
link(68,56) :- #0.851.
link(56,83) :- #0.719.
link(83,56) :- #0.241.
link(56,120) :- #0.036.
link(120,56) :- #0.114.
link(56,123) :- #0.048.
link(123,56) :- #0.707.
link(56,124) :- #0.58.
link(124,56) :- #0.8.
link(56,131) :- #0.491.
link(131,56) :- #0.695.
link(56,141) :- #0.221.
link(141,56) :- #0.052.
link(57,60) :- #0.158.
link(60,57) :- #0.915.
link(57,64) :- #0.123.
link(64,57) :- #0.074.
link(57,70) :- #0.424.
link(70,57) :- #0.21.
link(57,74) :- #0.139.
link(74,57) :- #0.142.
link(57,75) :- #0.345.
link(75,57) :- #0.859.
link(57,82) :- #0.719.
link(82,57) :- #0.889.
link(57,99) :- #0.8.
link(99,57) :- #0.617.
link(57,102) :- #0.087.
link(102,57) :- #0.195.
link(57,104) :- #0.658.
link(104,57) :- #0.636.
link(57,129) :- #0.88.
link(129,57) :- #0.09.
link(58,65) :- #0.728.
link(65,58) :- #0.435.
link(58,75) :- #0.813.
link(75,58) :- #0.047.
link(58,76) :- #0.572.
link(76,58) :- #0.05.
link(58,108) :- #0.077.
link(108,58) :- #0.864.
link(58,110) :- #0.129.
link(110,58) :- #0.084.
link(58,111) :- #0.262.
link(111,58) :- #0.769.
link(58,119) :- #0.424.
link(119,58) :- #0.578.
link(58,120) :- #0.444.
link(120,58) :- #0.238.
link(58,145) :- #0.365.
link(145,58) :- #0.011.
link(58,149) :- #0.247.
link(149,58) :- #0.353.
link(59,66) :- #0.282.
link(66,59) :- #0.936.
link(59,86) :- #0.772.
link(86,59) :- #0.838.
link(59,91) :- #0.558.
link(91,59) :- #0.309.
link(59,110) :- #0.409.
link(110,59) :- #0.599.
link(59,114) :- #0.623.
link(114,59) :- #0.651.
link(59,139) :- #0.145.
link(139,59) :- #0.011.
link(60,88) :- #0.95.
link(88,60) :- #0.407.
link(60,100) :- #0.514.
link(100,60) :- #0.828.
link(60,108) :- #0.459.
link(108,60) :- #0.846.
link(60,145) :- #0.291.
link(145,60) :- #0.759.
link(61,68) :- #0.142.
link(68,61) :- #0.33.
link(61,73) :- #0.164.
link(73,61) :- #0.177.
link(61,85) :- #0.479.
link(85,61) :- #0.841.
link(61,86) :- #0.329.
link(86,61) :- #0.097.
link(61,91) :- #0.688.
link(91,61) :- #0.098.
link(61,116) :- #0.471.
link(116,61) :- #0.645.
link(61,123) :- #0.377.
link(123,61) :- #0.057.
link(61,133) :- #0.177.
link(133,61) :- #0.409.
link(61,140) :- #0.314.
link(140,61) :- #0.806.
link(61,150) :- #0.089.
link(150,61) :- #0.772.
link(62,64) :- #0.777.
link(64,62) :- #0.134.
link(62,70) :- #0.268.
link(70,62) :- #0.061.
link(62,75) :- #0.977.
link(75,62) :- #0.059.
link(62,81) :- #0.289.
link(81,62) :- #0.827.
link(62,92) :- #0.073.
link(92,62) :- #0.164.
link(62,93) :- #0.63.
link(93,62) :- #0.057.
link(62,99) :- #0.095.
link(99,62) :- #0.507.
link(62,113) :- #0.432.
link(113,62) :- #0.619.
link(62,117) :- #0.05.
link(117,62) :- #0.398.
link(62,124) :- #0.581.
link(124,62) :- #0.789.
link(62,149) :- #0.535.
link(149,62) :- #0.351.
link(63,67) :- #0.267.
link(67,63) :- #0.628.
link(63,87) :- #0.394.
link(87,63) :- #0.836.
link(63,100) :- #0.518.
link(100,63) :- #0.013.
link(63,125) :- #0.366.
link(125,63) :- #0.889.
link(63,127) :- #0.988.
link(127,63) :- #0.962.
link(63,140) :- #0.037.
link(140,63) :- #0.659.
link(63,141) :- #0.269.
link(141,63) :- #0.011.
link(64,77) :- #0.958.
link(77,64) :- #0.328.
link(64,81) :- #0.871.
link(81,64) :- #0.751.
link(64,90) :- #0.834.
link(90,64) :- #0.535.
link(64,96) :- #0.532.
link(96,64) :- #0.534.
link(64,97) :- #0.743.
link(97,64) :- #0.359.
link(64,98) :- #0.605.
link(98,64) :- #0.999.
link(64,123) :- #0.256.
link(123,64) :- #0.47.
link(64,127) :- #0.735.
link(127,64) :- #0.528.
link(64,136) :- #0.845.
link(136,64) :- #0.198.
link(65,74) :- #0.164.
link(74,65) :- #0.579.
link(65,120) :- #0.6.
link(120,65) :- #0.013.
link(65,127) :- #0.478.
link(127,65) :- #0.826.
link(65,128) :- #0.808.
link(128,65) :- #0.139.
link(65,130) :- #0.146.
link(130,65) :- #0.
link(65,132) :- #0.749.
link(132,65) :- #0.302.
link(65,146) :- #0.406.
link(146,65) :- #0.973.
link(65,148) :- #0.892.
link(148,65) :- #0.954.
link(65,150) :- #0.06.
link(150,65) :- #0.826.
link(66,70) :- #0.63.
link(70,66) :- #0.656.
link(66,74) :- #0.938.
link(74,66) :- #0.091.
link(66,85) :- #0.718.
link(85,66) :- #0.829.
link(66,100) :- #0.949.
link(100,66) :- #0.142.
link(66,101) :- #0.359.
link(101,66) :- #0.165.
link(66,108) :- #0.811.
link(108,66) :- #0.213.
link(66,120) :- #0.588.
link(120,66) :- #0.929.
link(66,136) :- #0.069.
link(136,66) :- #0.249.
link(66,139) :- #0.513.
link(139,66) :- #0.987.
link(66,143) :- #0.793.
link(143,66) :- #0.867.
link(66,144) :- #0.467.
link(144,66) :- #0.073.
link(66,147) :- #0.098.
link(147,66) :- #0.848.
link(67,72) :- #0.095.
link(72,67) :- #0.888.
link(67,98) :- #0.231.
link(98,67) :- #0.733.
link(67,102) :- #0.422.
link(102,67) :- #0.471.
link(67,105) :- #0.473.
link(105,67) :- #0.364.
link(67,109) :- #0.522.
link(109,67) :- #0.89.
link(67,112) :- #0.347.
link(112,67) :- #0.115.
link(67,123) :- #0.323.
link(123,67) :- #0.935.
link(67,129) :- #0.038.
link(129,67) :- #0.652.
link(68,76) :- #0.44.
link(76,68) :- #0.747.
link(68,107) :- #0.29.
link(107,68) :- #0.607.
link(68,108) :- #0.731.
link(108,68) :- #0.495.
link(68,130) :- #0.091.
link(130,68) :- #0.298.
link(68,135) :- #0.205.
link(135,68) :- #0.391.
link(69,71) :- #0.032.
link(71,69) :- #0.776.
link(69,102) :- #0.192.
link(102,69) :- #0.883.
link(69,103) :- #0.351.
link(103,69) :- #0.897.
link(69,105) :- #0.667.
link(105,69) :- #0.403.
link(69,110) :- #0.092.
link(110,69) :- #0.897.
link(69,125) :- #0.603.
link(125,69) :- #0.926.
link(69,131) :- #0.07.
link(131,69) :- #0.201.
link(69,133) :- #0.263.
link(133,69) :- #0.036.
link(69,143) :- #0.95.
link(143,69) :- #0.789.
link(70,76) :- #0.952.
link(76,70) :- #0.494.
link(70,97) :- #0.736.
link(97,70) :- #0.776.
link(70,110) :- #0.504.
link(110,70) :- #0.309.
link(70,120) :- #0.776.
link(120,70) :- #0.579.
link(70,135) :- #0.448.
link(135,70) :- #0.268.
link(70,136) :- #0.382.
link(136,70) :- #0.872.
link(70,138) :- #0.647.
link(138,70) :- #0.202.
link(71,76) :- #0.715.
link(76,71) :- #0.77.
link(71,79) :- #0.011.
link(79,71) :- #0.272.
link(71,82) :- #0.495.
link(82,71) :- #0.522.
link(71,101) :- #0.724.
link(101,71) :- #0.063.
link(71,117) :- #0.596.
link(117,71) :- #0.354.
link(71,134) :- #0.171.
link(134,71) :- #0.817.
link(71,140) :- #0.937.
link(140,71) :- #0.517.
link(71,146) :- #0.105.
link(146,71) :- #0.9.
link(72,78) :- #0.357.
link(78,72) :- #0.835.
link(72,96) :- #0.612.
link(96,72) :- #0.196.
link(72,123) :- #0.072.
link(123,72) :- #0.771.
link(72,125) :- #0.503.
link(125,72) :- #0.365.
link(72,129) :- #0.886.
link(129,72) :- #0.915.
link(72,148) :- #0.058.
link(148,72) :- #0.275.
link(73,77) :- #0.504.
link(77,73) :- #0.79.
link(73,78) :- #0.613.
link(78,73) :- #0.883.
link(73,80) :- #0.26.
link(80,73) :- #0.3.
link(73,88) :- #0.656.
link(88,73) :- #0.887.
link(73,90) :- #0.461.
link(90,73) :- #0.386.
link(73,93) :- #0.615.
link(93,73) :- #0.547.
link(73,95) :- #0.537.
link(95,73) :- #0.559.
link(73,100) :- #0.791.
link(100,73) :- #0.75.
link(73,102) :- #0.855.
link(102,73) :- #0.535.
link(73,146) :- #0.416.
link(146,73) :- #0.138.
link(74,75) :- #0.387.
link(75,74) :- #0.203.
link(74,92) :- #0.064.
link(92,74) :- #0.518.
link(74,110) :- #0.506.
link(110,74) :- #0.279.
link(74,121) :- #0.799.
link(121,74) :- #0.846.
link(75,82) :- #0.831.
link(82,75) :- #0.193.
link(75,97) :- #0.219.
link(97,75) :- #0.415.
link(75,106) :- #0.811.
link(106,75) :- #0.88.
link(75,115) :- #0.628.
link(115,75) :- #0.06.
link(75,117) :- #0.262.
link(117,75) :- #0.901.
link(75,123) :- #0.941.
link(123,75) :- #0.847.
link(75,147) :- #0.426.
link(147,75) :- #0.007.
link(75,149) :- #0.889.
link(149,75) :- #0.883.
link(76,79) :- #0.767.
link(79,76) :- #0.129.
link(76,90) :- #0.799.
link(90,76) :- #0.324.
link(76,95) :- #0.123.
link(95,76) :- #0.602.
link(76,134) :- #0.593.
link(134,76) :- #0.893.
link(76,146) :- #0.463.
link(146,76) :- #0.197.
link(77,115) :- #0.072.
link(115,77) :- #0.998.
link(77,133) :- #0.091.
link(133,77) :- #0.199.
link(77,136) :- #0.533.
link(136,77) :- #0.01.
link(77,138) :- #0.213.
link(138,77) :- #0.227.
link(78,90) :- #0.838.
link(90,78) :- #0.134.
link(78,101) :- #0.349.
link(101,78) :- #0.924.
link(78,110) :- #0.474.
link(110,78) :- #0.24.
link(78,111) :- #0.606.
link(111,78) :- #0.723.
link(78,116) :- #0.509.
link(116,78) :- #0.877.
link(78,117) :- #0.86.
link(117,78) :- #0.068.
link(78,125) :- #0.574.
link(125,78) :- #0.504.
link(78,141) :- #0.536.
link(141,78) :- #0.257.
link(78,142) :- #0.929.
link(142,78) :- #0.74.
link(79,85) :- #0.163.
link(85,79) :- #0.141.
link(79,101) :- #0.775.
link(101,79) :- #0.715.
link(79,112) :- #0.067.
link(112,79) :- #0.552.
link(79,114) :- #0.274.
link(114,79) :- #0.344.
link(79,126) :- #0.035.
link(126,79) :- #0.571.
link(79,131) :- #0.442.
link(131,79) :- #0.759.
link(79,132) :- #0.527.
link(132,79) :- #0.574.
link(80,83) :- #0.24.
link(83,80) :- #0.083.
link(80,86) :- #0.778.
link(86,80) :- #0.751.
link(80,96) :- #0.741.
link(96,80) :- #0.057.
link(80,111) :- #0.911.
link(111,80) :- #0.265.
link(80,141) :- #0.446.
link(141,80) :- #0.529.
link(81,84) :- #0.219.
link(84,81) :- #0.988.
link(81,101) :- #0.13.
link(101,81) :- #0.955.
link(81,111) :- #0.783.
link(111,81) :- #0.44.
link(81,113) :- #0.53.
link(113,81) :- #0.624.
link(81,136) :- #0.385.
link(136,81) :- #0.991.
link(82,124) :- #0.863.
link(124,82) :- #0.261.
link(82,128) :- #0.795.
link(128,82) :- #0.94.
link(82,134) :- #0.157.
link(134,82) :- #0.902.
link(83,100) :- #0.149.
link(100,83) :- #0.955.
link(83,107) :- #0.583.
link(107,83) :- #0.867.
link(83,108) :- #0.866.
link(108,83) :- #0.612.
link(83,128) :- #0.06.
link(128,83) :- #0.247.
link(83,133) :- #0.817.
link(133,83) :- #0.943.
link(83,140) :- #0.929.
link(140,83) :- #0.557.
link(83,149) :- #0.804.
link(149,83) :- #0.792.
link(83,150) :- #0.253.
link(150,83) :- #0.008.
link(84,87) :- #0.78.
link(87,84) :- #0.245.
link(84,108) :- #0.587.
link(108,84) :- #0.768.
link(84,149) :- #0.885.
link(149,84) :- #0.025.
link(85,140) :- #0.77.
link(140,85) :- #0.585.
link(85,144) :- #0.828.
link(144,85) :- #0.617.
link(85,148) :- #0.334.
link(148,85) :- #0.288.
link(86,93) :- #0.482.
link(93,86) :- #0.427.
link(86,143) :- #0.653.
link(143,86) :- #0.96.
link(87,105) :- #0.695.
link(105,87) :- #0.82.
link(87,110) :- #0.492.
link(110,87) :- #0.62.
link(87,115) :- #0.341.
link(115,87) :- #0.68.
link(87,116) :- #0.384.
link(116,87) :- #0.041.
link(87,117) :- #0.7.
link(117,87) :- #0.678.
link(87,135) :- #0.606.
link(135,87) :- #0.018.
link(87,136) :- #0.529.
link(136,87) :- #0.947.
link(87,141) :- #0.677.
link(141,87) :- #0.094.
link(88,97) :- #0.123.
link(97,88) :- #0.954.
link(88,98) :- #0.345.
link(98,88) :- #0.988.
link(88,104) :- #0.365.
link(104,88) :- #0.075.
link(88,117) :- #0.331.
link(117,88) :- #0.982.
link(89,98) :- #0.067.
link(98,89) :- #0.71.
link(89,107) :- #0.357.
link(107,89) :- #0.425.
link(89,114) :- #0.914.
link(114,89) :- #0.364.
link(90,96) :- #0.842.
link(96,90) :- #0.409.
link(90,106) :- #0.128.
link(106,90) :- #0.439.
link(90,110) :- #0.269.
link(110,90) :- #0.366.
link(90,115) :- #0.7.
link(115,90) :- #0.788.
link(90,123) :- #0.62.
link(123,90) :- #0.887.
link(90,133) :- #0.161.
link(133,90) :- #0.203.
link(90,143) :- #0.11.
link(143,90) :- #0.803.
link(90,147) :- #0.385.
link(147,90) :- #0.055.
link(91,135) :- #0.921.
link(135,91) :- #0.66.
link(91,137) :- #0.761.
link(137,91) :- #0.196.
link(91,146) :- #0.167.
link(146,91) :- #0.87.
link(91,147) :- #0.052.
link(147,91) :- #0.046.
link(91,150) :- #0.086.
link(150,91) :- #0.426.
link(92,93) :- #0.89.
link(93,92) :- #0.652.
link(92,94) :- #0.714.
link(94,92) :- #0.235.
link(92,114) :- #0.621.
link(114,92) :- #0.228.
link(92,117) :- #0.271.
link(117,92) :- #0.251.
link(92,134) :- #0.231.
link(134,92) :- #0.779.
link(92,139) :- #0.087.
link(139,92) :- #0.471.
link(92,143) :- #0.659.
link(143,92) :- #0.39.
link(92,146) :- #0.613.
link(146,92) :- #0.755.
link(92,150) :- #0.429.
link(150,92) :- #0.433.
link(93,95) :- #0.306.
link(95,93) :- #0.752.
link(93,97) :- #0.503.
link(97,93) :- #0.619.
link(93,99) :- #0.698.
link(99,93) :- #0.289.
link(93,108) :- #0.401.
link(108,93) :- #0.604.
link(93,115) :- #0.829.
link(115,93) :- #0.227.
link(93,131) :- #0.206.
link(131,93) :- #0.78.
link(94,102) :- #0.274.
link(102,94) :- #0.497.
link(94,109) :- #0.248.
link(109,94) :- #0.374.
link(94,116) :- #0.018.
link(116,94) :- #0.057.
link(94,125) :- #0.257.
link(125,94) :- #0.897.
link(94,127) :- #0.388.
link(127,94) :- #0.445.
link(94,136) :- #0.143.
link(136,94) :- #0.902.
link(95,99) :- #0.623.
link(99,95) :- #0.19.
link(95,123) :- #0.438.
link(123,95) :- #0.726.
link(96,101) :- #0.495.
link(101,96) :- #0.188.
link(96,106) :- #0.753.
link(106,96) :- #0.175.
link(96,108) :- #0.895.
link(108,96) :- #0.606.
link(96,119) :- #0.445.
link(119,96) :- #0.501.
link(96,137) :- #0.662.
link(137,96) :- #0.487.
link(96,141) :- #0.37.
link(141,96) :- #0.702.
link(96,144) :- #0.961.
link(144,96) :- #0.943.
link(97,105) :- #0.092.
link(105,97) :- #0.319.
link(97,109) :- #0.656.
link(109,97) :- #0.185.
link(97,137) :- #0.968.
link(137,97) :- #0.082.
link(97,139) :- #0.73.
link(139,97) :- #0.139.
link(97,143) :- #0.049.
link(143,97) :- #0.869.
link(97,147) :- #0.586.
link(147,97) :- #0.616.
link(97,150) :- #0.788.
link(150,97) :- #0.37.
link(98,103) :- #0.922.
link(103,98) :- #0.946.
link(98,106) :- #0.006.
link(106,98) :- #0.229.
link(98,116) :- #0.775.
link(116,98) :- #0.284.
link(98,134) :- #0.934.
link(134,98) :- #0.49.
link(98,135) :- #0.768.
link(135,98) :- #0.963.
link(98,139) :- #0.139.
link(139,98) :- #0.304.
link(98,140) :- #0.696.
link(140,98) :- #0.997.
link(98,142) :- #0.668.
link(142,98) :- #0.495.
link(98,150) :- #0.557.
link(150,98) :- #0.144.
link(99,103) :- #0.518.
link(103,99) :- #0.037.
link(99,120) :- #0.157.
link(120,99) :- #0.557.
link(99,126) :- #0.743.
link(126,99) :- #0.367.
link(99,130) :- #0.485.
link(130,99) :- #0.55.
link(99,145) :- #0.845.
link(145,99) :- #0.923.
link(100,116) :- #0.364.
link(116,100) :- #0.096.
link(100,125) :- #0.191.
link(125,100) :- #0.15.
link(100,135) :- #0.184.
link(135,100) :- #0.519.
link(101,104) :- #0.528.
link(104,101) :- #0.499.
link(101,107) :- #0.167.
link(107,101) :- #0.165.
link(101,111) :- #0.392.
link(111,101) :- #0.677.
link(101,120) :- #0.916.
link(120,101) :- #0.281.
link(101,122) :- #0.652.
link(122,101) :- #0.437.
link(101,130) :- #0.568.
link(130,101) :- #0.71.
link(101,136) :- #0.17.
link(136,101) :- #0.819.
link(101,144) :- #0.66.
link(144,101) :- #0.532.
link(102,108) :- #0.821.
link(108,102) :- #0.576.
link(102,112) :- #0.508.
link(112,102) :- #0.143.
link(102,125) :- #0.883.
link(125,102) :- #0.195.
link(102,128) :- #0.208.
link(128,102) :- #0.383.
link(102,129) :- #0.228.
link(129,102) :- #0.719.
link(102,134) :- #0.096.
link(134,102) :- #0.825.
link(103,111) :- #0.191.
link(111,103) :- #0.525.
link(103,122) :- #0.972.
link(122,103) :- #0.646.
link(103,123) :- #0.527.
link(123,103) :- #0.343.
link(103,133) :- #0.658.
link(133,103) :- #0.414.
link(103,136) :- #0.236.
link(136,103) :- #0.389.
link(103,145) :- #0.391.
link(145,103) :- #0.401.
link(104,117) :- #0.287.
link(117,104) :- #0.38.
link(104,122) :- #0.442.
link(122,104) :- #0.669.
link(104,123) :- #0.482.
link(123,104) :- #0.939.
link(104,126) :- #0.725.
link(126,104) :- #0.374.
link(104,147) :- #0.823.
link(147,104) :- #0.114.
link(104,150) :- #0.362.
link(150,104) :- #0.544.
link(105,114) :- #0.346.
link(114,105) :- #0.271.
link(105,131) :- #0.539.
link(131,105) :- #0.738.
link(105,133) :- #0.225.
link(133,105) :- #0.845.
link(105,139) :- #0.919.
link(139,105) :- #0.594.
link(106,107) :- #0.055.
link(107,106) :- #0.511.
link(106,123) :- #0.354.
link(123,106) :- #0.533.
link(106,128) :- #0.247.
link(128,106) :- #0.385.
link(106,133) :- #0.308.
link(133,106) :- #0.978.
link(107,109) :- #0.866.
link(109,107) :- #0.376.
link(107,112) :- #0.811.
link(112,107) :- #0.116.
link(107,123) :- #0.515.
link(123,107) :- #0.629.
link(107,141) :- #0.762.
link(141,107) :- #0.674.
link(108,116) :- #0.928.
link(116,108) :- #0.904.
link(108,120) :- #0.158.
link(120,108) :- #0.66.
link(108,139) :- #0.23.
link(139,108) :- #0.441.
link(109,122) :- #0.407.
link(122,109) :- #0.77.
link(109,125) :- #0.529.
link(125,109) :- #0.288.
link(109,132) :- #0.053.
link(132,109) :- #0.993.
link(109,133) :- #0.093.
link(133,109) :- #0.799.
link(109,149) :- #0.231.
link(149,109) :- #0.132.
link(111,113) :- #0.472.
link(113,111) :- #0.271.
link(111,114) :- #0.465.
link(114,111) :- #0.771.
link(111,120) :- #0.722.
link(120,111) :- #0.732.
link(111,127) :- #0.296.
link(127,111) :- #0.057.
link(111,138) :- #0.591.
link(138,111) :- #0.358.
link(111,141) :- #0.928.
link(141,111) :- #0.273.
link(111,142) :- #0.239.
link(142,111) :- #0.843.
link(111,143) :- #0.994.
link(143,111) :- #0.988.
link(112,119) :- #0.189.
link(119,112) :- #0.155.
link(112,125) :- #0.531.
link(125,112) :- #0.909.
link(112,137) :- #0.
link(137,112) :- #0.35.
link(113,142) :- #0.97.
link(142,113) :- #0.788.
link(114,123) :- #0.331.
link(123,114) :- #0.548.
link(114,128) :- #0.788.
link(128,114) :- #0.863.
link(115,127) :- #0.679.
link(127,115) :- #0.415.
link(115,130) :- #0.302.
link(130,115) :- #0.551.
link(115,131) :- #0.46.
link(131,115) :- #0.045.
link(115,134) :- #0.994.
link(134,115) :- #0.168.
link(116,138) :- #0.059.
link(138,116) :- #0.222.
link(116,145) :- #0.698.
link(145,116) :- #0.45.
link(116,148) :- #0.761.
link(148,116) :- #0.528.
link(116,150) :- #0.732.
link(150,116) :- #0.904.
link(117,120) :- #0.892.
link(120,117) :- #0.679.
link(117,138) :- #0.73.
link(138,117) :- #0.636.
link(118,132) :- #0.087.
link(132,118) :- #0.887.
link(118,146) :- #0.968.
link(146,118) :- #0.144.
link(119,120) :- #0.159.
link(120,119) :- #0.852.
link(119,125) :- #0.595.
link(125,119) :- #0.805.
link(119,128) :- #0.993.
link(128,119) :- #0.47.
link(119,148) :- #0.565.
link(148,119) :- #0.734.
link(120,121) :- #0.879.
link(121,120) :- #0.231.
link(120,123) :- #0.5.
link(123,120) :- #0.63.
link(120,135) :- #0.65.
link(135,120) :- #0.067.
link(120,149) :- #0.104.
link(149,120) :- #0.989.
link(120,150) :- #0.422.
link(150,120) :- #0.723.
link(121,129) :- #0.512.
link(129,121) :- #0.888.
link(121,133) :- #0.928.
link(133,121) :- #0.179.
link(121,144) :- #0.617.
link(144,121) :- #0.901.
link(122,127) :- #0.863.
link(127,122) :- #0.813.
link(123,128) :- #0.66.
link(128,123) :- #0.8.
link(124,144) :- #0.008.
link(144,124) :- #0.666.
link(125,132) :- #0.214.
link(132,125) :- #0.527.
link(125,133) :- #0.578.
link(133,125) :- #0.696.
link(125,142) :- #0.129.
link(142,125) :- #0.768.
link(125,143) :- #0.196.
link(143,125) :- #0.47.
link(126,146) :- #0.617.
link(146,126) :- #0.797.
link(127,128) :- #0.665.
link(128,127) :- #0.297.
link(127,136) :- #0.63.
link(136,127) :- #0.448.
link(127,148) :- #0.476.
link(148,127) :- #0.006.
link(128,133) :- #0.27.
link(133,128) :- #0.108.
link(128,148) :- #0.223.
link(148,128) :- #0.009.
link(129,132) :- #0.408.
link(132,129) :- #0.832.
link(129,144) :- #0.519.
link(144,129) :- #0.969.
link(130,136) :- #0.095.
link(136,130) :- #0.721.
link(130,137) :- #0.756.
link(137,130) :- #0.662.
link(130,147) :- #0.902.
link(147,130) :- #0.82.
link(131,134) :- #0.48.
link(134,131) :- #0.797.
link(132,133) :- #0.877.
link(133,132) :- #0.151.
link(133,137) :- #0.209.
link(137,133) :- #0.72.
link(133,139) :- #0.778.
link(139,133) :- #0.585.
link(133,147) :- #0.934.
link(147,133) :- #0.723.
link(134,145) :- #0.009.
link(145,134) :- #0.452.
link(135,136) :- #0.198.
link(136,135) :- #0.929.
link(135,137) :- #0.886.
link(137,135) :- #0.869.
link(138,140) :- #0.756.
link(140,138) :- #0.391.
link(139,143) :- #0.545.
link(143,139) :- #0.566.
link(139,150) :- #0.025.
link(150,139) :- #0.699.
link(140,141) :- #0.728.
link(141,140) :- #0.24.
link(141,144) :- #0.532.
link(144,141) :- #0.305.
link(141,147) :- #0.556.
link(147,141) :- #0.628.
link(144,147) :- #0.987.
link(147,144) :- #0.291.
link(145,146) :- #0.201.
link(146,145) :- #0.281.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
